Guest editorial: JCAL access to support teaching research methods

Guest editorial: JCAL access to support teaching research methods

Formal Methods Guest Editorial

This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief introductions to the remaining papers in the Special Issue are given.

Guest Editorial: Formal Methods

We’d better start by defining terms, since the phrase Formal Methods (FM) can have a wide range of connotations in Computer Science. For the purpose of this Special Theme Issue, ‘Formal Methods’ means the use of mathematical techniques for the construction of computing systems, with a particular focus on the construction of industrial scale systems. The focus on large systems is significant. Th...

Guest Editorial: Rethinking research training.

Guest editorial - network support for multicast communications

M ANY networked applications rely on multicast communications for efficient operation. These applications include video conferencing, video distribution, computer supported collaborative work (CSCW), distributed games, and wide-scale information dissemination. These applications require a variety of services from the network beyond the provision of efficient routes between participants. Multica...